Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
- Författare
- (Edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Nature Switzerland, Imprint: Springer | 2023 | Schweiz, Cham | 1 online resource (363 pages) | 978-3-031-31476-6 |